encrypt(${\it tab}$;${\it keyv}$)
\\[0ex]$\,\equiv$$_{\mbox{\scriptsize def}}$$\;\;$let $K$,$p$,$f$ = ${\it tab}$ in $\langle$$K$$,\,$($p$+1)$,\,$if $p$$<_{2}$$K$$\rightarrow$ $f$[$p$:=$\langle$1of($f$($p$))$,\,$${\it keyv}$$\rangle$] else $f$ fi$\rangle$